- typed name
- напечатанное имя, впечатанные ФИО
Англо-русский универсальный дополнительный практический переводческий словарь И. Мостицкого. И. Мостицкий. 2002-2012.
typed name
Смотреть что такое "typed name" в других словарях:
Typed lambda calculus — A typed lambda calculus is a typed formalism that uses the lambda symbol (lambda) to denote anonymous function abstraction. Typed lambda calculi are foundational programming languages and are the base of typed functional programming languages… … Wikipedia
Name resolution — Contents 1 In computer languages 1.1 Static versus dynamic 1.2 Name masking 1.3 Alpha renaming to make name resolution trivial … Wikipedia
Simply typed lambda calculus — The simply typed lambda calculus (lambda^ o) is a typed interpretation of the lambda calculus with only one type combinator: o (function type). It is the canonical and simplest example of a typed lambda calculus. The simply typed lambda calculus… … Wikipedia
domain name — n. A name composed of letters and/or numbers, such as “ebay.com,” or the portion of an email address that follows the @ sign, linked to a numerical IP address that identifies the location of a particular website or computer. See also Domain Name… … Law dictionary
Fads and Fallacies in the Name of Science — Infobox Book name = Fads and Fallacies in the Name of Science title orig = translator = image caption = 1957 revised ed. author = Martin Gardner illustrator = cover artist = country = United States language = English series = subject = science,… … Wikipedia
Champions for Christ — Established in 1985 as part of the controversial Maranatha Campus Ministries, Champions for Christ (CFC) is an outreach to college and professional athletes. Now a part of the Every Nation group of ministries, CFC has also come under the auspices … Wikipedia
TIBCO Rendezvous — is a software product that provides a message bus for enterprise application integration (EAI).TIBCO provides messaging APIs in C, C++, Java, Visual BASIC , Perl and .NET to receive data feeds on MS Excel spreadsheets and other applications of… … Wikipedia
List of MS-DOS commands — Contents 1 Resident and transient commands 2 Command line arguments 3 Windows command prompt … Wikipedia
Pointer (computing) — This article is about the programming data type. For the input interface (for example a computer mouse), see Pointing device. Pointer a pointing to the memory address associated with variable b. Note that in this particular diagram, the computing … Wikipedia
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Duck typing — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
